From Concrete Forms to Generalized Abstractions through Perspective-Oriented Analysis Of Logical Relationships
نویسندگان
چکیده
We believe concreteness, direct manipulation and responsiveness in a visual programming language increase its usefulness. However, these characteristics present a challenge in generalizing programs for reuse, especially when concrete examples are used as one way of achieving concreteness. In this paper, we present a technique to solve this problem by deriving generality automatically through the analysis of logical relationships among concrete program entities from the perspective of a particular computational goal. Use of this technique allows a fully general form-based program with reusable abstractions to be derived from one that was specified inions to be derived from one that was specified in terms of concrete examples and direct manipulation.
منابع مشابه
طراحیو تبیینسیستم خط مشیگذاری حقمدار برای تحقق عدالت اجتماعی (بر اساس نهجالبلاغه)
This article demonstrates a part of findings of a research that has been developed for designing a public policy making system, based on conception of Alavian truth-oriented justice. According to the first part of this research, a logical system is developed. The system introduces five logical principles and nineteen theorems. These principles and theorems are inferred from Nahjolballagha and...
متن کاملمبانی منطقی طراحی سیستم خطمشیگذاری دولتی برای تحقق عدالت حقمدار (براساس نهجالبلاغه)
This article demonstrates a part of findings of a research that has been designed with the intention of determining the characteristics of the desired public policy making system for achieving social justice. To begin with, James P. Sterba's categorization of alternative political perspectives to justice is reviewed and then "truth – oriented" justice is studied. To reach a precise and scholar...
متن کاملExtending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کاملA Study and Critique of Moral Liberalism Based on perspective "Existence of pure connection” Mulla Sadra
Moral liberalism is based on the separation of moral values from reality and emphasizes that the criterion of moral-value is the "person himself". In liberal ethics, one's happiness depends on himself and moral values have a relative meaning. According to Mulla Sadra, the process of creation in the arch of descent is based on manifestation and the effects are the pure connection to the cause an...
متن کاملCritical Analysis of Women’s Representation in TV Advertisements from a Cultural Studies Perspective
Abstract Through the interpretation of texts, and subsequent creation of social reality, mediated representations are often seen to be presented within the certain of ideological discourses that reflect the existing power structures. The main objective of this paper is to analyze television commercials with an emphasis on gender roles to decode the main elements of a dominant discourse (prefer...
متن کامل